T. T. Martin - PDFSEARCH.IO - Document Search Engine

T. T. Martin
Results: 1116

#	Item
191	Verifying Linearizability with Hindsight Peter W. O’Hearn Noam Rinetzky Martin T. Vechev Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2010-09-22 11:42:03 Transaction processing Tree Linked list Data management Mathematics Binary trees Concurrency control Computing Linearizability
192	TPC-BiH: A Benchmark for Bitemporal Databases Martin Kaufmann, Peter M. Fischer, Norman May, Donald Kossmann August 26th, 2013 Add to Reading List Source URL: www.tpc.org Language: English - Date: 2013-09-24 14:06:53 Database theory Temporal database Transaction processing Transaction Processing Performance Council Data Bitemporal data Richard T. Snodgrass ETH Zurich Benchmark Database management systems Data management Computing
193	Experience with Model Checking Linearizability Martin Vechev, Eran Yahav, and Greta Yorsh IBM T.J. Watson Research Center Non-blocking concurrent algorithms offer significant performance advantages, but are very difficul Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2009-09-25 09:19:19 Transaction processing Memory management Linearizability Parallel computing Concurrent data structure Non-blocking algorithm Garbage collection Algorithm Sequential consistency Computing Concurrent computing Concurrency control
194	Cultural Feature Identification training Reading List Cultural Plant Identification The following articles from Gaston, A.J.; Golumbia, T.E.; Martin, J.-L.; Sharpe, S.T. (edsLessons from the Islands: introduced Add to Reading List Source URL: www.haidanation.ca Language: English - Date: 2015-01-14 15:27:12 Old growth forests Geography of British Columbia British Columbia Geography of Canada Gwaii Haanas National Park Reserve and Haida Heritage Site Haida Haida Gwaii Skeena-Queen Charlotte Regional District
195	Bronx Museum Plans Ambitious Art Exchange With Cuba NYTimes.com http://nyti.ms/1uuqgoZ Add to Reading List Source URL: images.bronxmuseum.org Language: English - Date: 2015-01-21 16:49:36 Cuban art Raúl Martínez Cuba Caribbean Lissette Solorzano Juan T. Vázquez Martín Bronx Museum of the Arts Havana The Bronx
196	CA T A L O G U E 8th House Publishing - CATALOG 2014 Add to Reading List Source URL: www.8thhousepublishing.com Language: English - Date: 2014-08-26 13:31:22 Existentialism Existentialists Daseinsanalysis Nihilism Hermeneutics Martin Heidegger Will to power Book Industry Study Group Being and Time Philosophy Continental philosophy Friedrich Nietzsche
197	Automatic Verification of Determinism for Structured Parallel Programs Martin Vechev1 , Eran Yahav1 , Raghavan Raman2 , and Vivek Sarkar2 1 IBM T.J. Watson Research Center. Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2011-03-21 07:52:45 ALGOL 68 Parallel computing Schedule Programming language theory Computing Software engineering
198	Inferring Synchronization under Limited Observability Martin Vechev, Eran Yahav, and Greta Yorsh IBM T.J. Watson Research Center Abstract. This paper addresses the problem of automatically inferring synchronization for c Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2009-03-28 14:04:36 Automata theory Transition Observability Models of computation
199	Correctness-Preserving Derivation of Concurrent Garbage Collection Algorithms Martin T. Vechev Eran Yahav Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2006-01-23 21:06:46 Garbage collection Reference counting Pointer Algorithm Heap Software engineering Mathematics Memory management Automatic memory management Computing
200	Verifying Optimistic Algorithms Should be Easy (Position Paper) Noam Rinetzky Martin T. Vechev Eran Yahav Greta Yorsh Queen Mary University of London IBM T.J. Watson Research Center Add to Reading List Source URL: www.cs.technion.ac.il Language: English - Date: 2009-09-25 09:17:50 Transaction processing Mathematics Thread Linearization Algorithm Concurrency Concurrency control Computing Linearizability

UPDATE